<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN"
"http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd">
<html xmlns="http://www.w3.org/1999/xhtml">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>
<link href="common/css/sf.css" rel="stylesheet" type="text/css"/>
<title>Preface</title>
</head>
<link href="common/jquery-ui/jquery-ui.css" rel="stylesheet">
<script src="common/jquery-ui/external/jquery/jquery.js"></script>
<script src="common/jquery-ui/jquery-ui.js"></script>
<script src="common/toggleproofs.js"></script>
<link href="common/css/qc.css" rel="stylesheet" type="text/css"/>

<body>

<div id="page">

<div id="header">
<a href='https://coq-zh.github.io/SF-zh/index.html'>
<img src='common/media/image/sf_logo_sm.png'></a>
</br><a href='index.html'>  <span class='booktitleinheader'>Volume 4: QuickChick：用 Coq 进行基于性质的测试</span><br></br>
<ul id='menu'>
   <a href='toc.html'><li class='section_name'>目录</li></a>
   <a href='coqindex.html'><li class='section_name'>索引</li></a>
</ul>
</a></div>

<div id="main">

<h1 class="libtitle">Preface</h1>


<div class="doc">

<div class="paragraph"> </div>

 This volume of _Software Foundations_ introduces QuickChick, a
    property-based random testing tool for Coq. 
<div class="paragraph"> </div>

<a name="lab1"></a><h1 class="section">Setup</h1>

<div class="paragraph"> </div>

 For working with this material, you will need to install
    QuickChick.  Instructions can be found here:

<div class="paragraph"> </div>

       <a href="https://github.com/QuickChick/QuickChick"><span class="inlineref">https://github.com/QuickChick/QuickChick</span></a>

<div class="paragraph"> </div>

    The <a href="QuickChickInterface.html"><span class="inlineref">QuickChickInterface</span></a> chapter serves as a reference
    manual for QuickChick.  The rest of the book explains its features
    more gently. 
<div class="paragraph"> </div>

<a name="lab2"></a><h1 class="section">Thanks</h1>

<div class="paragraph"> </div>

 Development of the _Software Foundations_ series has been
    supported, in part, by the National Science Foundation under the
    NSF Expeditions grant 1521523, _The Science of Deep
    Specification_.  Work on this volume was also supported by NSF
    grant 1421243, _Random Testing for Language Design_. 
</div>
<div class="code code-tight">

<span class="comment">(*&nbsp;Mon&nbsp;Oct&nbsp;28&nbsp;08:19:01&nbsp;UTC&nbsp;2019&nbsp;*)</span><br/>
</div>
</div>



</div>

</body>
</html>